Plug computer - PDFSEARCH.IO - Document Search Engine

Plug computer
Results: 495

#	Item
71	Annotation Generation Frama-C’s annotation generator plug-inCarbon version Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:50 Data types Computer arithmetic C programming language Primitive types Procedural programming languages Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
72	www.nyphp.com / www.nyphp.org PHundamental Security Ecosystem Review, Coding Secure with PHP, and Best Practices Add to Reading List Source URL: nyphp.org Language: English - Date: 2015-05-26 04:21:45 Computer programming Cross-platform software Initialisms PHP Plug-in Software Computing PHP programming language
73	Mountain View, CA and REDMOND, Wash. - December 8, Intuit Inc. (Nasdaq: INTU) and Microsoft Corporation (NYSE: MSFT) today announced proposed additions to the next version of the Open Financial Exchange (OFX) spe Add to Reading List Source URL: www.ofx.net Language: English - Date: 2007-10-14 14:54:44 Computing Software Open Financial Exchange Intuit QuickBooks Quicken TurboTax Plug-in QFX Accounting software Business Computer file formats
74	SSO Plug-in Remote implementations J System Solutions http://www.javasystemsolutions.com Version 3.2 Add to Reading List Source URL: www.javasystemsolutions.com Language: English - Date: 2011-05-30 04:30:49 Computing Directory services Integrated Windows Authentication Internet Explorer NTLM Active Directory Domain controller Internet Information Services Windows Microsoft Windows Computer network security Software
75	Developer Manual Plug-in Development Guide Release FluorineJulien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:49 Computer programming Plug-in C Intermediate Language Software Computing Frama-C
76	User Manual Frama-C User Manual Release BoronLoïc Correnson, Pascal Cuoq, Armand Puccetti and Julien Signoles Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:51 Frama-C Program analysis Procedural programming languages Static program analysis Plug-in C D Computing Software engineering Computer programming
77	User Manual Frama-C User Manual Release OxygenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
78	A Goal-Oriented Interface to Consumer Electronics using Planning and Commonsense Reasoning Henry Lieberman José Espinosa Add to Reading List Source URL: agents.media.mit.edu Language: English - Date: 2005-10-17 21:54:22 Human–computer interaction User interface techniques Graphical user interfaces User interface Virtual reality Usability Universal Plug and Play User GUI widget Technology Computing System software
79	DATA/ SPEC SHEET HDEXPRESS SERIES NETWORK VIDEO RECORDER (NVR) • 1080P/60 Hzxreal-time recording and display The HDExpress™ is a plug-and-play Network Video Recorder Add to Reading List Source URL: www.sourcesecurity.com Language: English - Date: 2014-05-12 05:43:18 Smartphones Cloud clients IP camera Internet Protocol Surveillance Video Network Video Recorder 1080p IPhone Computer hardware Computing Electronic engineering
80	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering